1. Automated deduction in multiple-valued logics
Author: Hahnle, Reiner
Library: Central Library and Documentation Center (Kerman)
Subject: ، Automatic theorem proving,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
A96
H34
1993
2. Formal methods for components and objects :
Author: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
F53
2012
3. Leveraging applications of formal methods, verification, and validation
Author: Reiner Hähnle ... [and 4 others] (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.
4. Theorem proving with analytic tableaux and related methods :
Author: Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
Classification :
QA76
.
9
.
A96
P484
1995
5. Verification of object-oriented software : the KeY approach
Author: Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt )eds.(; foreword by K. Rustan M. Leino
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer software -- Verification,، Object-oriented methods )Computer science(,، Java )Computer program language(
Classification :
QA
76
.
L28
Vol
.
4334
